Перевод: с английского на русский

с русского на английский

conditional formula

См. также в других словарях:

  • Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity …   Wikipedia

  • Conditional probability — The actual probability of an event A may in many circumstances differ from its original probability, because new information is available, in particular the information that an other event B has occurred. Intuition prescribes that the still… …   Wikipedia

  • Conditional sentence — For the non custodial punishment for a crime in Canada, see conditional sentence (Canada). In grammar, conditional sentences are sentences discussing factual implications or hypothetical situations and their consequences. Languages use a variety… …   Wikipedia

  • Conditional expectation — In probability theory, a conditional expectation (also known as conditional expected value or conditional mean) is the expected value of a real random variable with respect to a conditional probability distribution. The concept of conditional… …   Wikipedia

  • Conditional quantifier — In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some or all of the following conditions ( X and Y range over arbitrary formulas in one free… …   Wikipedia

  • Formula language — The Formula language is a scripting language used by Lotus Notes. It is often referred to as @Formula language (pronounced at formula ) because many language elements start with the @ character.It was created by Ray Ozzie during the early… …   Wikipedia

  • Strict conditional — In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p ightarrow q says that p materially implies q while Box (p ightarrow q) says… …   Wikipedia

  • Counterfactual conditional — For other uses, see Counterfactual (disambiguation). A counterfactual conditional, subjunctive conditional, or remote conditional, abbreviated cf, is a conditional (or if then ) statement indicating what would be the case if its antecedent were… …   Wikipedia

  • 2006 Formula One season — F1 2006 redirects here. For the video games based on the 2006 Formula One season, see F1 06 F1 CE . The 2006 Formula One season was the 57th FIA Formula One World Championship season. It began on March 12, 2006 included 18 races, and ended on… …   Wikipedia

  • Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… …   Wikipedia

  • Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»